Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
71	ETA INVARIANT AND SELBERG ZETA FUNCTION OF ODD TYPE OVER CONVEX CO-COMPACT HYPERBOLIC MANIFOLDS COLIN GUILLARMOU, SERGIU MOROIANU, AND JINSUNG PARK Abstract. We show meromorphic extension and give a complete description Add to Reading List Source URL: www.math.ens.fr Language: English - Date: 2010-04-02 05:00:34
72	Lecture Notes on Static Analysis Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark Add to Reading List Source URL: www.itu.dk Language: English - Date: 2010-08-04 09:11:54 Data types C++ Subroutines Type theory C Pointer Const C dynamic memory allocation Dereference operator Function pointer Dangling pointer Reference
73	Letter pubs.acs.org/NanoLett MoS2 P‑type Transistors and Diodes Enabled by High Work Function MoOx Contacts Steven Chuang,†,‡,§ Corsin Battaglia,†,‡,§ Angelica Azcatl,∥ Stephen McDonnell,∥ Jeong Seuk Kang Add to Reading List Source URL: nano.eecs.berkeley.edu Language: English - Date: 2014-03-27 20:17:07
74	Digimatic Height Gage SERIES 192 — Multi-Function Type with SPC Data Output Technical Data FEATURES Add to Reading List Source URL: www.mitutoyo.com Language: English Character encoding Digital typography Character sets
75	Niemann–Pick type C 1 function requires lumenal domain residues that mediate cholesterol-dependent NPC2 binding Maika S. Deffieu and Suzanne R. Pfeffer1 Department of Biochemistry, Stanford University School of Medicin Add to Reading List Source URL: pfeffer.stanford.edu Language: English - Date: 2011-12-27 15:56:38
76	The State of the Art in Gradual Typing Jeremy G. Siek Indiana University, Bloomington SICSA Summer School on Practical Types University of St. Andrews Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Type systems Procedural programming languages Type theory Data types Gradual typing Boo Manifest typing Higher-order function
77	Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2013-09-23 14:54:00 Software engineering Computing Logic Data types Functional programming Lambda calculus Type theory Logic in computer science Eval Hoare logic Anonymous function Separation logic
78	AER Smart Phone APP To download the APP, go to APP store on your smart phone and type “Army Emergency Relief” into the search function. Then follow your normal download process. You can also use a QR Code reader APP Add to Reading List Source URL: www.aerhq.org - Date: 2015-02-26 11:00:29
79	The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-15 11:45:56 Computability theory Lambda calculus Recursion Theoretical computer science Type theory Combinatory logic Church encoding Initial algebra Primitive recursive function
80	Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2015-07-02 10:00:20 Type theory Computability theory Functional programming Theoretical computer science Recursion Initial algebra Lambda calculus Primitive recursive function Inductive type Catamorphism F-algebra

UPDATE